16*integral_0^1 ((1-x^2-5x^3)/(1+x^2)^4)